On Involutive Monoidal Categories
نویسنده
چکیده
In this paper, we consider a non-posetal analogue of the notion of involutive quantale [MP92]; specifically, a (planar) monoidal category equipped with a covariant involution that reverses the order of tensoring. We study the coherence issues that inevitably result when passing from posets to categories; we also link our subject with other notions already in the literature, such as balanced monoidal categories [JS91] and dagger pivotal categories [Sel09].
منابع مشابه
Involutive Categories and Monoids, with a GNS-correspondence
This paper develops the basics of the theory of involutive categories and shows that such categories provide the natural setting in which to describe involutive monoids. It is shown how categories of Eilenberg-Moore algebras of involutive monads are involutive, with conjugation for modules and vector spaces as special case. A part of the so-called Gelfand–Naimark–Segal (GNS) construction is ide...
متن کاملAn embedding theorem for Hilbert categories
We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal unit is a simple generator embeds (weakly) monoidally into the category of pre-Hilbert spaces and adjointable maps, preserving adjoint morphisms and all fini...
متن کاملCategories with fuzzy sets and relations
We define a 2-category whose objects are fuzzy sets and whose maps are relations subject to certain natural conditions. We enrich this category with additional monoidal and involutive structure coming from t-norms and negations on the unit interval. We develop the basic properties of this category and consider its relation to other familiar categories. A discussion is made of extending these re...
متن کاملA new axiomatization for involutive monoidal t-norm-based logic
On the real unit interval, the notion of a Girard monoid coincides with the notion of a t-norm-based residuated lattice with strong induced negation. A geometrical approach toward these Girard monoids, based on the notion of rotation invariance, is turned in an adequate axiomatization for the Involutive Monoidal T-norm-based residuated Logic (IMTL).
متن کاملOn the Definition of C (a Summary of a Talk given at Pssl#85 in Nice)
One of the recent advances in Functional Analysis has been the introduction of the notion of an (abstract) operator space. Proponents of this theory have, since its inception, maintained that it provides a much more solid " foundations " for Operator Algebra than the more traditional theory of Banach spaces. In this paper, we show that there exists a (non-trivial) involutive monoidal structure ...
متن کامل